Definability in Quantum Kripke Frames
نویسنده
چکیده
I characterize the first-order definable, bi-orthogonally closed subsets of a quasiquantum Kripke frame satisfying a reasonable assumption. The techniques are generalization of those in Goldblatt’s paper published in 1984. Combining these techniques with Goldblatt’s idea, I prove that quantum Kripke frames are not firstorder definable in the class of quasi-quantum Kripke frames.
منابع مشابه
Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic
We establish a connection between term definability of Boolean functions and definability of finite modal frames. We introduce a bijective translation between functional terms and uniform degree-1 formulas and show that a class of Boolean functions is defined by functional terms if and only if the corresponding class of Scott-Montague frames is defined by the translations of these functional te...
متن کاملExistential definability of modal frame classes
A class of Kripke frames is called modally definable if there is a set of modal formulas such that the class consists exactly of frames on which every formula from that set is valid, i. e. globally true under any valuation. Here, existential definability of Kripke frame classes is defined analogously, by demanding that each formula from a defining set is satisfiable under any valuation. This is...
متن کاملDefinability and Computability for PRSPDL
PRSPDL is a variant of PDL with parallel composition. In the Kripke models in which PRSPDL-formulas are evaluated, states have an internal structure. We devote this paper to the definability issue of several classes of frames by means of the language of PRSPDL and to the computability issue of PRSPDL-validity for various fragments of the PRSPDL-language and for various classes of PRSPDL-frames.
متن کاملGeometry in Quantum Kripke Frames
Quantum Kripke frames and other related kinds of Kripke frames are introduced. The inner structures of these Kripke frames are studied in detail, and many of them turn out to form nice geometries. To be precise, geometric frames, which are more general than quantum Kripke frames, correspond to projective geometries with a pure polarity; and quantum Kripke frames correspond to irreducible Hilber...
متن کاملCharacterizing Frame Definability in Team Semantics via the Universal Modality
Let ML( u) denote the fragment of modal logic extended with the universal modality in which the universal modality occurs only positively. We characterize the definability of ML( u) in the spirit of the well-known Goldblatt-Thomason-Theorem. We show that an elementary class F of Kripke frames is definable in ML( u) if and only if F is closed under taking generated subframes and bounded morphic ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014